Matthias Felleisen - PDFSEARCH.IO - Document Search Engine

Matthias Felleisen
Results: 83

#	Item
31	Evaluating Call-By-Need on the Control Stack Stephen Chang,? David Van Horn,?? and Matthias Felleisen? PLT & PRL, Northeastern University, Boston, MAAbstract. Ariola and Felleisen’s call-by-need λ-calculus repl Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44
32	Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2004-04-03 19:39:33
33	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-06-13 20:26:08
34	Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen Harvard Graduate School of Education, WPI Computer Scien Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2014-11-26 05:10:40
35	How to Design Worlds: Imaginative Programming in DrScheme Matthias Felleisen Robby Findler Kathi Fisler Add to Reading List Source URL: world.cs.brown.edu Language: English - Date: 2008-08-18 09:48:46
36	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
37	Profiling For Laziness Matthias Felleisen Stephen Chang Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-11-08 13:58:15 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
38	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming
39	A Functional I/O System ∗ or, Fun for Freshman Kids Matthias Felleisen Northeastern University Robert Bruce Findler Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-06-23 23:54:16 Unidentified flying object Ulsan National Institute of Science and Technology UFO JavaScript Computing Television Forteana Mysteries
40	Evaluating Call-by-need on the Control Stack Stephen Chang, David Van Horn, Matthias Felleisen Northeastern University 1 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Computer science Computability theory Lambda calculus Theoretical computer science Call stack Stack Futures and promises Eval Computing Software engineering Models of computation